package discretePso;

import java.io.File;


public class SolveDiscretePSO {
	private static PSOType type = PSOType.SAT;
	
	/*private static BlackBoxFunction function;
	private static Functions functionType = Functions.SPHERE;
	private static Point lowerBound;
	private static Point upperBound;
	private static int swarmSize = 40;
	private static int steps = 100;
	private static PointGenerator startingPointGenerator;
	private static PointGenerator startingVelocityGenerator;
	private static VelocityGenerators velocityGenerator = VelocityGenerators.RANDOM;
	private static PointGenerators pointGenerator = PointGenerators.RANDOM;
	private static BoundaryHandling boundaryHandling = BoundaryHandling.STICKY_WALL;
	private static double mu = 0.728, c1 = 1.49, c2 = 1.49;
	private static int dimension = 3;
	private static double range = 100;*/
	
	
	public static void main(String args[]){
		File file = new File("trunk/data/SAT/aim-50-1_6-yes1-1.cnf");
		SATInstance s = new SATInstance(file);
		
	}
	
	public int SolveSAT(SATInstance instance){
		return 0;
	}

}
